1. Abduction and Induction
Author: edited by Peter A. Flach, Antonis C. Kakas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
2. Domain Theory, Logic and Computation :
Author: edited by G Q Zhang, J. Lawson, Y.-M. Liu, M.-K. Luo.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic.,Philosophy (General)
Classification :
QA76
.
7
E358
2003
3. Domains and Processes :
Author: edited by Klaus Keimel, Guo-Qiang Zhang, Ying-Ming Liu, Yi-Xang Chen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic.,Philosophy (General)
Classification :
QA76
.
7
E358
2001
4. Dynamic Worlds
Author: edited by Remo Pareschi, Bertram Fronhöfer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Data structures (Computer science).,Logic.,Philosophy (General).
5. Formal Ontology and Conceptual Realism
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Philosophy (General). ; Logic. ; Philosophy, medieval. ; Metaphysics. ; Ontology. ; Linguistics ; Philosophy. ; Computer science. ; Philosophy. ; Ontology. ; Logic. ; Philosophy of Language. ; Medieval Philosophy. ; Mathematical Logic and Formal Languages
6. Foundations:
Author: edited by Hugues Leblanc, Elliott Mendelson, Alex Orenstein.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Philosophy (General),Science -- Philosophy.
7. Logical Thinking in the Pyramidal Schema of Concepts
Author: / Lutz Geldsetzer, Richard L. Schwartz
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
Classification :
QA9
.
G325
2013
8. Mathematical Thought :
Author: by Evert W. Beth.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Philosophy (General),Science -- Philosophy.
Classification :
QA9
.
B948
1965
9. New Essays in Free Logic
Author: edited by Edgar Morscher, Alexander Hieke.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic.,Philosophy (General).,Semantics.
10. Philosophical Logic and Artificial Intelligence
Author: edited by Richmond H. Thomason.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic.,Philosophy (General)
Classification :
BC71
.
E358
1989
11. Problems of the Logic of Scientific Knowledge
Author: edited by P.V. Tavanec.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Philosophy (General),Science -- Philosophy.
Classification :
B67
.
E358
1970
12. Quantum Logic
Author: by Peter Mittelstaedt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Philosophy (General),Science -- Philosophy.
Classification :
B67
.
B974
1978
13. The Art of the Intelligible :
Author: by John L. Bell.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Geometry.,Logic, Symbolic and mathematical.,Philosophy (General),Science-- Philosophy.,Algebra.,Geometry.,Logic, Symbolic and mathematical.,Science-- Philosophy.
Classification :
B67
14. The Logical Foundations of the Marxian Theory of Value
Author: by Adolfo García Sienra.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Philosophy (General),Science -- Philosophy.
15. The Semantics and Proof Theory of the Logic of Bunched Implications
Author: by David J. Pym.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic.,Philosophy (General).
